#ifndef __EKOS_KERNEL_S_H__
#define __EKOS_KERNEL_S_H__

#include <pic.h>
#include <syscall.h>

#endif
